IO-refinement in Z
نویسندگان
چکیده
We present a generalisation of data refinement in Z, called IO-refinement, that allows changes in input and output parameters of operations. Several informal motivations for the desirability of such a refinement relation are given, followed by a formal derivation that demonstrates its theoretical soundness. It is proved that IO-refinement indeed generalizes data refinement. Several theorems are presented that give sufficient conditions for IO-refinement to hold in simpler situations, e.g. just adding inputs and outputs. Some examples of the use of IO-refinement are also given.
منابع مشابه
Postnatal development of spatial coding in the gravity sensing system
The critical maturation time of central otolith neurons in processing spatial orientations was examined in Sprague-Dawley rats. With the use of immuno-hybridization histochemical methods, we observed c-fos expression in vestibular nuclear neurons responding to transverse movement on the horizontal plane as early as P7 and those to antero-posterior stimulation as early as P9. In the inferior oli...
متن کاملPostnatal development of spatial coding in the gravity sensing system
The critical maturation time of central otolith neurons in processing spatial orientations was examined in Sprague-Dawley rats. With the use of immuno-hybridization histochemical methods, we observed c-fos expression in vestibular nuclear neurons responding to transverse movement on the horizontal plane as early as P7 and those to antero-posterior stimulation as early as P9. In the inferior oli...
متن کاملHigh Performance I/O and Data Management
A library for parallel IO and data management has been developed for large-scale multi-physics simulations. The goal of the library is to provide sustainable, interoperable, efficient, scalable, and convenient tools for parallel IO and data management for high-level data structures in applications, and to provide tools for the connection between applications. The high-level data structures incl...
متن کاملResiliency in IO Tools for Scientific Computing
IO tools in numerical simulations often serve two functions, one for writing and reading files to restart calculations and the other for writing and processing diagnostic files including files for graphics post-processing. For diagnostic files, tools directly working for high-level data structures are desired, such meshes with adaptive mesh refinement, unstructured meshes, and association betwe...
متن کاملModel Based Refinement and the Design of Retrenchments
The ingredients of typical methodologies for model based development via refinement are re-examined, and some well-known frameworks are reviewed, drawing out commonalities and differences. It is observed that the ingredients of these formalisms can frequently be ‘mixed and matched’ much more freely than is often imagined, resulting in semantic variations on the original formulations. It is also...
متن کامل